// Error: 3-12 cannot divide by zero
#(1.2 / 0.0)