Testing

Our testing code uses an extremely simplified version of stdio.h to print floating point values. You can see how it is implemented in lib/stdio.c. As a result, printing very small or very large floating point numbers will cause errors. Our code only allows floating point values of the form <whole>.<decimal>, where <whole> and <decimal> each fit into a standard 32-bit integer. If you intend to write your tests for floating-point operations, please keep this in mind.