converted to IEEE -> decimal properly