This indeed smells like a bug. Francesco, does NDS use fpu opcodes or
softfpu calls?

Despite the bug, the Nintendo devices are probably a bit too slow for
floating point calculations; use an old fashioned sine table.