float
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Numbers, Mathematics
Compute and answer the largest integral singleprecision floating point number less than or equal to the argument, i.e., the floor of x.
Position  Name  Type  Description  

Parameters  
1  x  float  A singleprecision floating point number.  
Returns  float  If the `0` is ±∞ or notanumber, then x, otherwise the floor of x. 
sequence's type
Source: /avail/Avail/Data Abstractions/Sequences/Abstract Sequences
Categories: Data Abstractions, Sequences
Answer the lower bound of the cardinality restriction for instances of the specified
sequence
type.
Position  Name  Type  Description  

Parameters  
1  sequenceType  sequence's type 
A sequence type.


Returns  [0..∞]  The lower bound of sequenceType 's cardinality restriction. 
sequence's type
Source: /avail/Avail/Data Abstractions/Sequences/Abstract Sequences
Categories: Data Abstractions, Sequences
Answer the upper bound of the cardinality restriction for instances of the specified
sequence
type.
Position  Name  Type  Description  

Parameters  
1  sequenceType  sequence's type 
A sequence type.


Returns  [0..∞]  The upper bound of sequenceType 's cardinality restriction. 
number
Source: /avail/Avail/Foundation/Math
Categories: Mathematics, Numbers
Compute and answer the floor of the argument.
Position  Name  Type  Description  

Parameters  
1  value  number  
Returns  extended integer  The floor of the argument. 
dimensioned extended integer
Source: /avail/Dimensional Analysis/Core
Categories: Unclassified
Compute and answer the floor of the argument.
Position  Name  Type  Description  

Parameters  
1  quantity  dimensioned extended integer 
An integral dimensioned quantity .


Returns  dimensioned extended integer  The floor of the argument. 
extended integer meta
Source: /avail/Avail/Foundation/Early Math
Categories: Integers, Types, Queries
Answer the lower bound of the specified integral range type. Note that unlike _'s⁇genuine lower bound, this method explicitly forbids the argument from being ⊥. It is intended as a practical (but not universal) replacement.
Position  Name  Type  Description  

Parameters  
1  range  extended integer meta  An integral range type. Must not be ⊥.  
Returns  extended integer  The lower bound of the argument. 
dimensioned extended integer
Source: /avail/Dimensional Analysis/Core
Categories: Unclassified
Compute and answer the ceiling of the argument.
Position  Name  Type  Description  

Parameters  
1  quantity  dimensioned extended integer 
An integral dimensioned quantity .


Returns  dimensioned extended integer  The ceiling of the argument. 
set meta
Source: /avail/Avail/Foundation/Literals
Categories: Sets, Types, Queries
Answer the lower bound of the argument.
Position  Name  Type  Description  

Parameters  
1  aSetType  set meta  A set type.  
Returns  whole number  The lower bound of the argument. 
map meta
Source: /avail/Avail/Foundation/Literals
Categories: Maps, Types, Queries
Answer the lower bound of the argument.
Position  Name  Type  Description  

Parameters  
1  aMapType  map meta  A map type.  
Returns  whole number  The lower bound of the argument. 
double
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Numbers, Mathematics
Compute and answer the largest integral doubleprecision floating point number less than or equal to the argument, i.e., the floor of x.
Position  Name  Type  Description  

Parameters  
1  x  double  A doubleprecision floating point number.  
Returns  double  If the `0` is ±∞ or notanumber, then x, otherwise the floor of x. 
tuple meta
Source: /avail/Avail/Foundation/Literals
Categories: Tuples, Types, Queries
Answer the lower bound of the argument.
Position  Name  Type  Description  

Parameters  
1  aTupleType  tuple meta  A tuple type.  
Returns  whole number  The lower bound of the argument. 