use real constants