simplifying toints in not testing a peculiar -inf case for which up to noww all systems seems to give the right C cast to integer type