Added the snippet "Div64Bit"