php float to int convertion in php