Just checked the https://github.com/cffi/cffi/blob/master/grovel/common.h , there is a SLOT_SIGNED_P macro, which looks very interesting. I'm wondering is it a good idea to use similar trick to detect float and double for the auto type?