64bit encoding of point symbols