some initial int32/64 conversions in ot_utility class