: The intention of this trait is to indicate whether a given class behaves like a floating-point
type, and thus allows division of one value by another with acceptable loss of precision
. If
treat_as_floating_point_v<Rep> is
false,
Rep will be treated as
if it behaved like an integral type for the purpose of these conversions
. —
end note