Floatを有限集合と見なすかどうかで変わってきそう