12.56/3等于几分之几?