FloatTools: Fix build for AVR.