procedure F() returns () {
	assert fp(-oo)==fp(-oo);
}