Fixes digitize

Add digitize() to fixes for old bumpy versions @agramfort @Eric89GXL
We don't ever make sure that label vertices are in fact integers, so someone could in principle create a Label with floats as vertices...