mov	rax, rdi
	movabs	rdx, 7653754429286296943
	mul	rdx
	shr	rdx, 9
	mov	rax, rdx