/***************************************************
 ** @author   STF 572
 ** @version  0.0.1
 ** @purpose  11:6.4.1, Verify that NaN can not be assigned to a JSON.Number
 ** @verdict  pass reject
 ***************************************************/
/*
 * JSON numbers:
 * 6.4.1: No special values (as –infinity, infinity or NaN) are allowed.
 * */

module Neg_0600401_json_numbers_007 {

    import from JSON all;

    template JSON.Number m_msg := not_a_number;    // error: special float value NaN, not allowed!

}
