math.log10(10.0) produces 0.9999999999999999, instead of 1.0, when compiled with -exclude @vlib/math/*.c.v

math.log10(10.0) produces 0.9999999999999999, instead of 1.0, when compiled with -exclude @vlib/math/*.c.v #1193