Addition of BatOption.default_f

Since I keep redefining this one...