U64/mul.kind