Correct int64 handling in Scm_EncodeFlonum
Comment typo fix