IEEE754TotalOrder.php Classes IEEE754TotalOrderEmpty struct to signal IEEE 754 total order for floating point types