Fixed PHP division returns float