[Tachyon-list] Division by a constant