This module contains a description of all predefined float propagators. They can be reused, for example, for rewriting newly defined float propagators into already available propagators.