Why Does Python Round Down Function