if you had picked a different, equally random number of 100 that other bidder would've won by 7 pennies :)
I think he put an extra zero by mistake, 10.07 would've been more consistent with the current minimum bid....
I've put extra zeroes by mistake myself - once I was quite puzzled when I got email saying I won a razor for $X which was more than I thought I put in the sniper. When I reexamined my bid it turned out I had some extra zeroes. It wasn't too bad though - the other guys had been sensible and even though I paid 30% more than I wanted it saved me a lot of time on future bids on this model. It was in a very nice condition too, so I was not really unhappy.