Fix two Num stragglers to Real