yes, possible. Also convert to real constants are possible. But it is P1 so I am not sure how urgent it is