path: root/float_test6.bpl

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