Remove Real trait and move methods into Float

This is part of the effort to simplify `std::num`, as tracked in issue #10387.