inference routine to propagate information about floats up the tree, so we know whether to put floats into special registers as early as possible.
compilation (so you can refer to them).