When toMql() prepares the maxTimeMS option, it multiplies by 1000. PHPLIB enforces that the option is an integer, so if the user happened to specify a float for the Builder::timeout() method (the only way to get sub-second precision) this will result in a float being passed to PHPLIB and yield an exception.

Consider working around this by casting the multiplied value back to an integer.

This was originally reported by chris.cho@mongodb.com in #php-driver.