Bpm Decimal Digit Strangeness

i get these extra decimal digits when setting a bpm .
doesn’t matter if you set the bpm with lua or the renoise transport gui. the value appears correct in the gui. i guess it’s rounding.

this decimal behaviour might exist elsewhere but i haven’t seen it.

renoise.song().transport.bpm = 100.1
print (renoise.song().transport.bpm)
100.09999847412

renoise.song().transport.bpm = 100.5
print (renoise.song().transport.bpm)
100.5

renoise.song().transport.bpm = 100.1
print (renoise.song().transport.bpm)
100.09999847412

renoise.song().transport.bpm = 100.9
print (renoise.song().transport.bpm)
100.90000152588