Next: built-in numerics rational-valued, Previous: built-in numerics real-valued, Up: built-in numerics [Contents][Index]
| • built-in numerics real base: | The <real> type.
| |
| • built-in numerics real positive: | The <positive-real> type.
| |
| • built-in numerics real negative: | The <negative-real> type.
| |
| • built-in numerics real zero: | The <zero-real> type.
| |
| • built-in numerics real non-zero: | The <non-zero-real> type.
| |
| • built-in numerics real non-negative: | The <non-negative-real> type.
|