Add missing RealFloat modules