Add support for infinity and nan, both SFloat and SDouble

The C-code generator and test-case generator also supports nan/infinity

Also add extra test cases covering nan/infinity for the double/float
symbolic test cases