113 		prop_number_t num = prop_number_create_signed(1);  in ATF_TC_BODY()
295 	s1 = prop_number_create_signed(INTMAX_MAX);  in ATF_TC_BODY()
302 	s2 = prop_number_create_signed(INTMAX_MAX);  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()
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()
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()
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()
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()
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()
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()
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()
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()
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()
734 	num = prop_number_create_signed(666);  in ATF_TC_BODY()