Fixed a bug that would lead to some numbers being truncated to integers in the C version of the output