Rename option::get_default => get_or_default, get_zero => get_or_zero