make value32 be isc_int32_t; loss of data resulting from conversion of isc_int64_t is already checked.