By the way you can still buy jacks like these. They're considered safer than hydraulic jacks and are often called "house jacks":
https://www.homedepot.com/p/Jet-20-Ton-Screw-Jack-441320/306...