Add native read_fixed32