Porter Ray arithmetic