# ten cubits ... one and a half cubits "10 cubits ... 1.5 cubits" (See: [[rc://en/ta/man/jit/translate-numbers]])