otros datos notables: - la versión en C usaba recursión de cola, la cambié a un bucle while - esta es una función pura porque toma cualquier marca de tiempo como argumento - para soportar la llamada al contrato sin argumento, la función de fallback obtiene la marca de tiempo actual e invoca la función pura - no hay operaciones de punto flotante, ¡así que funciona directamente en solc!