Templates generated wrong floating point initialization that caused compiled leon3 binaries to crash.