implemented uint64 binops as primitive syntaxes