tree f1ef266d0fed005ff73723c6cfa607c041db7432
parent dbec41f34ca26f4762bbda3c6e99ba227508d743
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1520623485 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1520623485 -0300

details (casts between 'lua_Number' and 'double')