strange bug
copyright year, credit and cast minkowski_sum to Float