[boost] [gil] numeric extensions pixel division.