fix unexpected conversion from int to double

1 job for !45 with number-conversion in 2 minutes and 5 seconds (queued for 3 seconds)
latest merge request