mul <= 8