developers pointing out a rounding corner-case in other developers code