tools include: Add an initial math64.h