Creating a floating point type for RVM and separating both arithmetics