sugared mult and div, hex integer constants