getconf : added a getfloat method

It is in the version provided by Django.