procedure F() returns () {
	var x : float;
	assert x - x == fp(0);
}