Lighten constraints around certain constants