Floats cbmc fixes

Created by: tautschnig

This patch set addresses two issues:

• Fix typing of return types and ensure constants are defined
• Update the various preprocessed files by preprocessing on Linux rather than on OS X