Explicitely using float in test encoding