Use explicit casting for these types and print using the right formatters.  Doesn't change behavior, just avoids throwing compiler warnings now.