RealConstant

sf.spad line 2 [edit on github]

The category of real numeric domains, i.e. convertible to floats.

convert : % -> DoubleFloat

from ConvertibleTo(DoubleFloat)

convert : % -> Float

from ConvertibleTo(Float)

ConvertibleTo(DoubleFloat)

ConvertibleTo(Float)