[boost] Grassmann point