0.25=几分之几?大法官