Dividir um número por $0,0125$ equivale a multiplicá-lo por