Fixed type of oracle constants