What would be some naive constraints to extending rlibm to a 64-bit float?
people.cs.rutgers.edu