Fix precision typo with C integer types