Symbol: maybe_di_int_to_uint32