Right here's where I'm referring to in my previous comment. We should preprocess this typecheck to let simple numeric values, that way existing setups aren't broken.