/***************************************************
 ** @author   STF 572
 ** @version  0.0.1
 ** @purpose  11:6.4.1, Verify that number is correctly mapped to during JSON encode.
 ** @verdict  pass reject
 ***************************************************/
/*
 * JSON numbers:
 * 6.4.1: No special values (as –infinity, infinity or NaN) are allowed.
 * */

module Neg_0600401_json_numbers_002 {

    import from JSON all;

    template Number m_msg := infinity;    // error: special float value, not allowed!

}
