KNOWN_PROBLEMS_WITH_FLOATING_POINT
