RealFloat package:breakpoint