RealFloat package:rerebase