Fix NatAsNumberCase