// expect: 0.750000/
// spec 4.1.2: a float local from a float initializer, so / is float division
include rt;
void pn(int x) { rt.put_n(x); rt.put_c(10); }
fn pf(x) { asm { x @ #1220 } rt.put_c(10); return 0; }
fn main() {
	let f = 1.5;
	pf(f / 2);
	return 0;
}