avopt: Explicitly store rational option defaults in .dbl