RealFloat package:witch