Refs #6009
sprintf("%d") ith 32 bits not truncate.
prefer 'int()' function to cast int.
Do some changes for big numbers (no need for fan number for examples :)
Fix typo error