Lossless base-3/base-5 number system for multiply-free inference — and why ternary models don't need a GPU (working code + exact tests)