PG_VERSION_NUM formatted incorrectly

Hi

I was looking at an issue with ogr_fdw where it is trying to get
the PG_VERSION_NUM when I noticed that in Postgresql 10.1 this is declared
as:

#define PG_VERSION_NUM 100001

But shouldn't it be

#define PG_VERSION_NUM 100100

or am I being dense, in which case sorry to have bothered you.

Many Thanks

Kieran McCusker