This component includes class definitions for php basic data types like:
* Floating point
By using this component, you are able to use type hints also for basic data types.
The data types are shipped with some simple but useful methods.
Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.