3 ms·

All of this is type-safe, if the operations check for out-or-range values and signal appropriately.

• thaumasiotes 12y ago
  But the argument wasn't "be type-safe", it was "don't do things where the input and output are of different types".