// expect error: bad float
// spec 1.4.3
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn main() { pn(1); float f = 2E; return 0; }