$rounded_int = int($float + 0.50000000000008);