[#014] Small workaround for tiny possible imprecisions because of floating-point values