void main() { const float a = 1.0 / 3.0; const float b = 0.3333333333333; if (a == b) { // Should trigger warning } }