113 		prop_number_t num = prop_number_create_signed(1);  in ATF_TC_BODY()
288 	prop_number_t s1, s2, u1, u2, u3, u4;  in ATF_TC_BODY()
369 	prop_number_t n_schar_max = prop_number_create_signed(SCHAR_MAX);  in ATF_TC_BODY()
370 	prop_number_t n_schar_min = prop_number_create_signed(SCHAR_MIN);  in ATF_TC_BODY()
371 	prop_number_t n_uchar_max = prop_number_create_unsigned(UCHAR_MAX);  in ATF_TC_BODY()
376 	prop_number_t n_shrt_max = prop_number_create_signed(SHRT_MAX);  in ATF_TC_BODY()
377 	prop_number_t n_shrt_min = prop_number_create_signed(SHRT_MIN);  in ATF_TC_BODY()
378 	prop_number_t n_ushrt_max = prop_number_create_unsigned(USHRT_MAX);  in ATF_TC_BODY()
383 	prop_number_t n_int_max = prop_number_create_signed(INT_MAX);  in ATF_TC_BODY()
384 	prop_number_t n_int_min = prop_number_create_signed(INT_MIN);  in ATF_TC_BODY()
385 	prop_number_t n_uint_max = prop_number_create_unsigned(UINT_MAX);  in ATF_TC_BODY()
390 	prop_number_t n_long_max = prop_number_create_signed(LONG_MAX);  in ATF_TC_BODY()
391 	prop_number_t n_long_min = prop_number_create_signed(LONG_MIN);  in ATF_TC_BODY()
392 	prop_number_t n_ulong_max = prop_number_create_unsigned(ULONG_MAX);  in ATF_TC_BODY()
397 	prop_number_t n_llong_max = prop_number_create_signed(LLONG_MAX);  in ATF_TC_BODY()
398 	prop_number_t n_llong_min = prop_number_create_signed(LLONG_MIN);  in ATF_TC_BODY()
399 	prop_number_t n_ullong_max = prop_number_create_unsigned(ULLONG_MAX);  in ATF_TC_BODY()
404 	prop_number_t n_intptr_max = prop_number_create_signed(INTPTR_MAX);  in ATF_TC_BODY()
405 	prop_number_t n_intptr_min = prop_number_create_signed(INTPTR_MIN);  in ATF_TC_BODY()
406 	prop_number_t n_uintptr_max = prop_number_create_unsigned(UINTPTR_MAX);  in ATF_TC_BODY()
411 	prop_number_t n_int8_max = prop_number_create_signed(INT8_MAX);  in ATF_TC_BODY()
412 	prop_number_t n_int8_min = prop_number_create_signed(INT8_MIN);  in ATF_TC_BODY()
413 	prop_number_t n_uint8_max = prop_number_create_unsigned(UINT8_MAX);  in ATF_TC_BODY()
418 	prop_number_t n_int16_max = prop_number_create_signed(INT16_MAX);  in ATF_TC_BODY()
419 	prop_number_t n_int16_min = prop_number_create_signed(INT16_MIN);  in ATF_TC_BODY()
420 	prop_number_t n_uint16_max = prop_number_create_unsigned(UINT16_MAX);  in ATF_TC_BODY()
425 	prop_number_t n_int32_max = prop_number_create_signed(INT32_MAX);  in ATF_TC_BODY()
426 	prop_number_t n_int32_min = prop_number_create_signed(INT32_MIN);  in ATF_TC_BODY()
427 	prop_number_t n_uint32_max = prop_number_create_unsigned(UINT32_MAX);  in ATF_TC_BODY()
432 	prop_number_t n_int64_max = prop_number_create_signed(INT64_MAX);  in ATF_TC_BODY()
433 	prop_number_t n_int64_min = prop_number_create_signed(INT64_MIN);  in ATF_TC_BODY()
434 	prop_number_t n_uint64_max = prop_number_create_unsigned(UINT64_MAX);  in ATF_TC_BODY()
684 	prop_number_t num;  in ATF_TC_BODY()