Explicitly cast to MANTISSATYPE since some compilers worry.