open core number

x /. y = try Some (x `div` y) with
             _ = None

(12 /. 2, 12 /. 0)