Add default parameter for frontend::{in,de}crement