| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Exceptions/ | 2021-03-23 22:42 | - | ||
| FloatInterface.php | 2021-03-23 22:42 | 184 | ||
| FloatObject.php | 2021-03-23 22:42 | 805 | ||
| NegativeFloat.php | 2021-03-23 22:42 | 159 | ||
| NegativeFloatObject.php | 2021-03-23 22:42 | 913 | ||
| PositiveFloat.php | 2021-03-23 22:42 | 159 | ||
| PositiveFloatObject.php | 2021-03-23 22:42 | 913 | ||
| Tools/ | 2021-03-23 22:42 | - | ||