Cant rely on ieee :(