6.0.1: PHP 8.5 deprecation fix

• Fixed deprecation warning Non-canonical cast (double) is deprecated,
  use the (float) cast instead in PHP 8.5
  (@thekid)