// expect: 1/
// spec 5.3.2 and appendix b.2.7 (bug: rejected)
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
float g = 1.5;
fn main() { pn(g * 2.0 == 3.0); return 0; }
// zc0: skip