Gebruik doubles in constanten definities