Encoding Floating Point Numbers To Shorter Integers  [draft]