use at most O3 optimization level to comply with IEEE 754 standard