Projects in the topic floating-point