3 ms·Good question! It's 1/(2**23), because 32 bit floats have 23 bits after the decimal pointby hmry 2y agoGood question! It's 1/(2**23), because 32 bit floats have 23 bits after the decimal point