This does not very convincingly test NaN handling. It would be more reassuring to set a variable to a NaN value outside the try block to isolate the behavior of callProcedure specifically. Also, Exception seems too generic -- we should catch a more specific exception class.