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
sf.spad line 2 [edit on github]
The category of real numeric domains, i.e. convertible to floats.
from ConvertibleTo DoubleFloat
from ConvertibleTo Float