Issue #59: datatype: exact numeric type