path: root/float_test6.bpl

 procedure F() returns () {
	var x : float;
	x := fp (3);
	assert x == fp (8388608 1 23 8);
}