cast to double before float in function pointer wrappers