USE_DOUBLE_ADD_ALWAYS
#ifndef USE_DOUBLE_ADD_ALWAYS
#if !defined(USE_DOUBLE_ADD_ALWAYS) && !defined(USE_MONTY_LADDER)
#if defined(USE_DOUBLE_ADD_ALWAYS) && defined(USE_MONTY_LADDER)
#if defined(USE_DOUBLE_ADD_ALWAYS) && !defined(USE_SMALL_STACK)
#if defined(USE_DOUBLE_ADD_ALWAYS) && defined(USE_SMALL_STACK)
#if defined(USE_DOUBLE_ADD_ALWAYS)