If you want to be consistent with the PHP code, it should be a string here, not a float (the version will be set as ``3`` rather than ``3.0`` otherwise when casting it to string)