Update mul64u typecast bug in test53.c