RealConstantΒΆ

sf.spad line 2

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