Add cast to PyFloat_AS_DOUBLE macro, as suggested by Marc Lemburg.