IO.write(5 * 3) // expect: 15
IO.write(12.34 * 0.3) // expect: 3.702
// TODO: Unsupported RHS types.
