Function Float-Radix

Instance-Of@Frame-Ontology:
Binary-Relation@Ol-User%Kif-Relations, Function@Ol-User%Kif-Relations, Relation@Ol-User%Kif-Relations, Set@Ol-User%Kif-Sets
Range@Frame-Ontology: Natural
Arity@Frame-Ontology: 2
Documentation@Ol%Frame-Ontology:
The term {tt (float-radix $tau$)} denotes the radix of the floating point number denoted by $tau$. The most common values are 2 and 16.