I was quite surprised to find that 0.3 / 0.05 is 5.99(9) and, consequently 0.3 // 0.05 is 5 :-/

Any ideas how to solve this more cleanly than by multiplying with 1e3?