Using boost typedefs for int64 types