use several ABI registers to get more floats from scanf(). Don't forget this