Add demotion to sqrt