Annotate float (always recompile before push ... always).